Proof without words

In mathematics, a proof without words is a proof of an identity or mathematical statement which can be demonstrated as self-evident by a diagram without any accompanying explanatory text. Such proofs can be considered more elegant than more formal and mathematically rigorous proofs due to their self-evident nature.[1] When the diagram demonstrates a particular case of a general statement, to be a proof, it must be able to be generalised.[2]

Contents

Examples

Sum of odd numbers

The statement that the sum of all positive odd numbers up to 2n − 1 is a perfect square—more specifically, the perfect square n2—can be demonstrated by a proof without words, as shown on the right.[3] The first square is formed by 1 block; 1 is the first square. The next strip, made of white squares, shows how adding 3 more blocks makes another square: four. The next strip, made of black squares, shows how adding 5 more blocks makes the next square. This process can continue indefinitely.

Pythagorean theorem

The Pythagorean theorem can be proven without words as shown in the second diagram on right. The two different methods for determining the area of the large square give the relation

a^2 %2B b^2 = c^2\,

between the sides. This proof is more subtle than the above, but still can be considered a proof without words.[4]

Jensen's inequality

Jensen's inequality can also be proven graphically, as illustrated on the third diagram. The dashed curve along the X axis is the hypothetical distribution of X, while the dashed curve along the Y axis is the corresponding distribution of Y values. Note that the convex mapping Y(X) increasingly "stretches" the distribution for increasing values of X.[5]

Usage

The College Mathematics Journal runs a regular feature entitled "Proof without words" containing, as the title suggests, proofs without words.[3] The Art of Problem Solving and USAMTS websites run Java applets illustrating proofs without words.[6][7]

See also

Notes

  1. ^ Dunham 1994, p. 120
  2. ^ Weisstein, Eric W., "Proof without Words" from MathWorld. Retrieved on 2008-6-20
  3. ^ a b Dunham 1994, p. 121
  4. ^ Nelsen 1997, p. 3
  5. ^ "Jensen's Inequality", Bulletin of the American Mathematical Society (American Mathematical Society) 43 (8): 527, 1937 
  6. ^ Gallery of Proofs (AoPS), Art of Problem Solving, http://usamts.org/Gallery/G_Gallery.php, retrieved 2008-06-20 
  7. ^ Gallery of Proofs (USAMTS), Art of Problem Solving 

References

  • Dunham, William (1974), The Mathematical Universe, John Wiley and Sons, ISBN 0-471-53656-3 
  • Nelsen, Roger B. (1997), Proofs without Words: Exercises in Visual Thinking, Mathematical Association of America, pp. 160, ISBN 978-0-88385-700-7 
  • Nelsen, Roger B. (2000), Proofs without Words II: More Exercises in Visual Thinking, Mathematical Association of America, pp. 142, ISBN 0-88385-721-9